Kripke: Names, Necessity, and Identity
نویسندگان
چکیده
منابع مشابه
Functional Programming with Names and Necessity
All programs interact with their environments in one way or another: they read and write to memory, query users for input, print out results, send data to remote servers, etc. Because increasingly complex environments result in increasingly difficult and error-prone programming, programming languages should facilitate compile-time detection of erroneous interactions with environments. In this d...
متن کاملStaged computation with names and necessity
Staging is a programming technique for dividing the computation in order to exploit the early availability of some arguments. In the early stages the program uses the available arguments to generate, at run time, the code for the late stages. The late stages may then be explicitly evaluated when appropriate. A type system for staging should ensure that only well-typed expressions are generated,...
متن کاملPropositional Identity and Logical Necessity
In two early papers, Max Cresswell constructed two formal logics of propositional identity, and , which he observed to be respectively deductively equivalent to modal logics 4 and 5. Cresswell argued informally that these equivalences respectively “give . . . evidence” for the correctness of 4 and 5 as logics of broadly logical necessity. In this paper, I describe weaker propositiona...
متن کاملAboriginal House Names and Settler Australian Identity
During his time as a federal politician and prime minister, Alfred Deakin divided his time between his city residence in Toorak and his holiday retreat at Point Lonsdale. His family had acquired several acres of land on the Bellarine peninsula in 1904 where they had built a federation bungalow called ‘Ballara’. The word is probably derived from the Wathawurung word balla for ‘elbow’, thus ‘recl...
متن کاملScientific author names: errors, corrections, and identity profiles
Authorship problems are deep-rooted in the field of science communication. Some of these relate to lack of specific journal instructions. For decades, experts in journal editing and publishing have been exploring the authorship criteria and contributions deserving either co-authorship or acknowledgment. The issue of inconsistencies of listing and abbreviating author names has come to the fore l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Disputatio
سال: 2005
ISSN: 0873-626X
DOI: 10.2478/disp-2005-0017